How to use "Mechanical theorem proving" - 释义·音标·例句

🧩 词语组成解析

mechanical [mɪ'kænɪkəl]

adj. 机械的，机械学的;呆板的;体力的;手工操作的;

mechan(machine)+ical(形容词后缀)→机械的；呆板的

theorem ['θiərəm]

n. [数] 定理;（能证明的）一般原理，公理，定律，法则;

theor考虑 + em获得→考虑后获得的结果 → n.[数]定理, 法则

proving

[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)

Well, I'll tell Robbie.

好，我告诉Robbie。

I think you're mistaken about that.

我想你那样不对。

From a heavy gun that was raised, the captain realized that the ship must have been a cruiser.

从捞起的一门大炮来看，船长认为那艘船一定是艘巡洋舰。

更多情景英语 ›

main force

manufacturing resource planning

marine police

melonite

mercocresols

metlbond

minorate

Mobius' sign